Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
81	Proofs in theories Gilles Dowek Draft, September 2013 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-05-25 05:47:28 Proof theory Dependently typed programming Type theory Logic in computer science Natural deduction Curry–Howard correspondence Theorem Mathematical proof Brouwer–Heyting–Kolmogorov interpretation Logic Mathematics Mathematical logic
82	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
83	June 2011 • Volume 4 • Number 5 To Foster and Nurture Girls’ Interest in Mathematics An Interview Interview with Bianca Viray, Part 1 Who Won the 1989 Tour de France? Add to Reading List Source URL: www.girlsangle.org Language: English - Date: 2011-06-30 22:38:08 Platonic solids Cubes Mathematical proofs Polytopes Simplex Topology Tetrahedron Mathematical fallacy Diophantine equation Geometry Mathematics Euclidean geometry
84	COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2015-03-23 00:24:54 Mathematical logic Proof theory Mathematical proof Theorem Four color theorem Pythagorean theorem Computer-assisted proof Proof Mathematics Logic Automated theorem proving
85	05391 Abstracts Collection Algebraic and Numerical Algorithms and Computer-assisted Proofs Dagstuhl Seminar 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2006-01-31 09:29:16 Computer algebra Complexity classes Numerical analysis Algorithm Mathematical logic Polynomial Gröbner basis Computational complexity theory NP Theoretical computer science Applied mathematics Mathematics
86	Eisenstein Series* R.P. Langlands 1. Preliminaries. In these lectures I want to discuss, with some indications of proofs, some of the elementary facts in the theory of Eisenstein series. Although the discussion can be ca Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2004-09-28 00:33:01 Mathematics Symbol Representation theory Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Abstract algebra Operator theory
87	Paradox Issue 2, 2004 The Magazine of the Melbourne University Mathematics and Statistics Society MUMS Add to Reading List Source URL: www.ms.unimelb.edu.au Language: English - Date: 2011-11-19 03:23:12 Mathematical logic Combinatorics on words Necklace Fibonacci number Mathematical induction Carriage Combinatorial proof British carriage and wagon numbering and classification Binomial coefficient Mathematics Enumerative combinatorics Mathematical proofs
88	Microsoft WordExtension 2 Maths Solution Add to Reading List Source URL: www.hsccoaching.com Language: English - Date: 2009-03-04 08:00:00 Mathematical analysis Trigonometric functions Sine Proofs of trigonometric identities Pythagorean trigonometric identity Trigonometry Mathematics Geometry
89	Soft Car Sequencing With Colors: Lower Bounds and Optimality Proofs Thierry Benoist Bouygues e-lab, 32 av. Hoche, 75008 Paris, France Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2008-07-09 00:56:05 Euclidean plane geometry Golden ratio Linear programming Numbers Mathematical analysis Convex optimization Mathematics Constraint programming
90	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic

UPDATE